Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

(2013). Does consciousness entail subjectivity? The puzzle of thought insertion. Philosophical Psychology: Vol. 26, No. 2, pp. 291-314. doi: 10.1080/09515089.2011.625117.

Patients suffering from depersonalization complain of feeling detached from their body, their mental states, and actions or even from themselves. In this chapter, I argue that depersonalization consists in the lack of a phenomenal feature that marks my experiences as mine, which is usually called “mineness,” and that the study of depersonalization constitutes a neglected yet incomparable probe to assess empirically the scope, role, and even the nature of mineness. Here is how I will proceed. After describing depersonalization (§2) and (...) arguing that it involves a lack of mineness (§3) I will confront a series of objections (§4). I will then spell out what depersonalization can teach us about the scope of mineness (§5), about its role and psychological function (§6) and even about its nature (§7). (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Basic self-awareness is the kind of self-awareness reflected in our standard use of the first-person. Patients suffering from severe forms of depersonalization often feel reluctant to use the first-person and can even, in delusional cases, avoid it altogether, systematically referring to themselves in the third-person. Even though it has been neglected since then, depersonalization has been extensively studied, more than a century ago, and used as probe for understanding the nature and the causal mechanisms of basic self-awareness. In this paper, (...) I argue that depersonalized patients indeed have an impaired basic self-awareness, and that their study allows us both to favor one specific theory of basic self-awareness and to understand what is wrong with its rivals. According to the favored theory, which I call Cartesian, we are basically self-aware in virtue of being acquainted with ourselves through introspection. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Patients suffering from the Cotard syndrome can deny being alive, having guts, thinking or even existing. They can also complain that the world or time have ceased to exist. In this article, I argue that even though the leading neurocognitive accounts have difficulties meeting that task, we should, and we can, make sense of these bizarre delusions. To that effect, I draw on the close connection between the Cotard syndrome and a more common condition known as depersonalisation. Even though they (...) are not delusional, depersonalised patients seem to have experiences that are quite similar to those of Cotard patients. I argue that these experiences are essentially characterised by a lack of subjective character and of two other structural features of experience, which I call ‘the present character’ and ‘the actual character’. Cotard's nihilistic delusions simply consist in taking these anomalous experiences at face value. (shrink)

This is a commentary on Andrea Lavazza and Murilo Vilaça's article "Human Extinction and AI: What We Can Learn from the Ultimate Threat" (Lavazza & Vilaça, 2024). I discuss the potential concern that their proposal to create artificial successors to "insure" against the tragedy of human extinction might mean being too quick to accept that catastrophic prospect as inevitable, rather than single-mindedly focusing on avoiding it. I also consider the question of the value that we might reasonably assign to such (...) a future of artificial successors under the assumption that they do not enjoy phenomenal consciousness. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Explanation is a foundational goal in the exact sciences. Besides the contemporary considerations on ‘description’, ‘classification’, and ‘prediction’, we often see these terms in thriving applications of artificial intelligence (AI) in chemistry hypothesis generation. Going beyond describing ‘things in the world’, these applications can make accurate numerical property calculations from theoretical or topological descriptors. This association makes an interesting case for a logic of discovery in chemistry: are these induction-led ventures showing a shift in how chemists can problematize research questions? (...) In this article, I present a fresh perspective on the current context of discovery in chemistry. I argue how data-driven statistical predictions in chemistry can be explained as a quasi-logical process for generating chemical theories, beyond the classic examples of organic and theoretical chemistry. Through my position on formal models of scientific explanation, I demonstrate how the dawn of AI can provide novel insights into the explanatory power of scientific endeavors. (shrink)

Estudo comparado sobre o tratamento dado à reprodução humana assistida no direito do Brasil, Estados Unidos, Portugal, Espanha e Itália.

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

On how medieval philosophy is not (only) theology.

According to what we will call subjectivity theories of consciousness, there is a constitutive connection between phenomenal consciousness and subjectivity: there is something it is like for a subject to have mental state M only if M is characterized by a certain mine-ness or for-me-ness. Such theories appear to face certain psychopathological counterexamples: patients appear to report conscious experiences that lack this subjective element. A subsidiary goal of this chapter is to articulate with greater precision both subjectivity theories and the (...) psychopathological challenge they face. The chapter’s central goal is to present two new approaches to defending subjectivity theories in the face of this challenge. What distinguishes these two approaches is that they go to great lengths to interpret patients’ reports at face value – greater length, at any rate, than more widespread approaches in the extant literature. (shrink)

In this article I interpret John Rawls’s concept of the original position as a spiritual exercise. In addition to the standard interpretation of the original position as an expository device to select principles of justice for the fundamental institutions of society, I argue that Rawls also envisages it as a “spiritual exercise”: a voluntary personal practice intended to bring about a transformation of the self. To make this argument, I draw on the work of Pierre Hadot, a philosopher and classicist, (...) who introduced the idea of spiritual exercises as central to ancient and modern conceptions of philosophy. By reading Rawls alongside Hadot, this article portrays Rawls as a thinker deeply concerned with the question of how subjects can lead more just and fulfilling lives. It also proposes that the original position as a spiritual exercise can help defend liberalism as a social and political doctrine. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

Descartes was certain that he was thinking and he was accordingly certain that he existed. Like Descartes, we seem to be more certain of our thoughts and our existence than of anything else. What is less clear is the reason why we are thus certain. Philosophers throughout history have provided different interpretations of the cogito, disagreeing both on the kind of thoughts it characterizes and on the reasons for its cogency. According to what we may call the empiricist interpretation of (...) the cogito, I can only claim to be certain of having experiences, and this certainty, as well as that of my own existence, stems from their phenomenal and subjective character. According to rationalist interpretations, on the other hand, I am certain of having some self-reflexive propositional attitudes, and this certainty derives from their rational features. Psychiatric patients suffering from acute forms of depersonalization or of the Cotard syndrome often doubt that they think and exist, and might even believe that they don't. I argue that their study allows us to favor the empiricist interpretation of the cogito. (shrink)

Com base na crítica que Hume faz ao argumento do desígnio, especialmente nas partes 10 e 11 dos Diálogos sobre a Religião Natural, meu objetivo neste artigo é, a partir de uma análise da relação entre a existência do mal no mundo e a suposta existência de uma divindade possuidora dos atributos tradicionais do teísmo, defender a tese segundo a qual o tratamento que Hume dá ao problema do mal corresponde, digamos assim, à cartada final – o último e decisivo (...) recurso que Philo personagem que articula essa crítica) aciona para mostrar que o argumento do desígnio não fornece bases suficientemente sólidas e consistentes para dar suporte à crença na existência de um Deus maximamente poderoso, justo e benevolente; e que, portanto, a existência do mal no mundo tem uma força argumentativa tal que a improbabilidade da existência de Deus é maior do que com base nos argumentos apresentados nas partes 2 a 8 dos Diálogos. Isso significa que eu tomo aqui o problema do mal como o maior problema para o teísta experimental – cuja argumentação pretende provar a existência de Deus a partir da observação dos fenômenos do mundo. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

In an ever-changing world, when we search for answers on our present challenges, it can be tricky to extrapolate past realities when concerning science-based issues. Climate change, public health or artificial intelligence embody issues on how scientific evidence is often challenged, as false beliefs could drive the design of public policies and legislation. Therefore , how can we foresee if science can tip the scales of political legislation? In this article, we outline how models of historical cases can be used (...) to predict and understand how scientific evidence can influence the emergence (or fall-back) of science based-legislation. We also present frameworks on how to use past episodes of History of Science and Alternative History insights to build epistemic models, based on previous successful approaches on the spread of scientific misinformation. These models will help the accuracy of the design of eventual alternative realities, that can come insightful on present decision making methodologies. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian “infinite book copies” (...) objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

What are the identity and persistence conditions of videogames? This paper surveys the contemporary philosophical literature on this topic. Specifically, I discuss various views which attempt to ground the identity of videogame works in their rules, in their algorithmic structure, in their source code, or in contextual parameters surrounding gameplay. While these proposals all have merits of their own, I argue that none of them are satisfactory. My conclusion is therefore negative: we still lack an adequate theoretical model to account (...) for the identity and persistence conditions of videogames. (shrink)

Motivationally unconscious (M-unconscious) states are unconscious states that can directly motivate a subject’s behavior and whose unconscious character typically results from a form of repression. The basic argument for M-unconscious states claims that they provide the best explanation to some seemingly non rational behaviors, like akrasia, impulsivity or apparent self-deception. This basic argument has been challenged on theoretical, empirical and conceptual grounds. Drawing on recent works on apparent self-deception and on the ‘cognitive unconscious’ I assess those objections. I argue that (...) (i) even if there is a good theoretical argument for its existence, (ii) most empirical vindications of the M-unconscious miss their target. (iii) As for the conceptual objections, they compel us to modify the classical picture of the M-unconscious. I conclude that M-unconscious states and processes must be affective states and processes that the subject really feels and experiences —and which are in this sense conscious— even though they are not, or not well, cognitively accessible to him. Dual process psychology and the literature on cold-hot empathy gaps partly support the existence of such M-unconscious states. (shrink)

There are two main approaches within classical cognitive science to explaining how humans can entertain mental states that integrate contents across domains. The language-based framework states that this ability arises from higher cognitive domain-specific systems that combine their outputs through the language faculty, whereas the language-independent framework holds that it comes from non-language-involving connections between such systems. This article turns on its head the most influential empirical argument for the language-based framework, an argument that originates from research on spatial reorientation. (...) I make the case that neuroscientific findings about spatial reorientation in rodents and humans bolster the language-independent framework instead. (shrink)

According to a common philosophical intuition, the deep nature of things is hidden from us, and the world as we know it through perception and science is somehow shallow and lacking in reality. For all we knwo, the intuition goes, we could be living in a cave facing shadows, in a dream or even in a computer simulation, This “intuition of unreality” clashes with a strong, but perhaps more naive, intuition to the effect that the world as we know it (...) seems perfectly real. Shadows, dreams, or informational structures appear too unreal to be identical to the world as we know it! This clash between the two intuitions forms the basis of the "problem of reality." At the turn of the nineteenth century psychiatrists encountered patients they referred to as “metaphysician doubters” who constantly questioned the reality of the world. This essay draws on the study of these patients to reject, and indeed diagnose, the intuition of unreality and recent metaphysical doctrines drawing on it, such as structuralism, digitalism, and virtual realism. (shrink)

This chapter addresses the claim that, as new types of neurointervention get developed allowing us to enhance various aspects of our mental functioning, we should work to prevent the use of such interventions from ever becoming the “new normal,” that is, a practice expected—even if not directly required—by employers. The author’s response to that claim is that, unlike compulsion or most cases of direct coercion, indirect coercion to use such neurointerventions is, per se, no more problematic than the pressure people (...) all find themselves under to use modern technological devices like computers or mobile phones. Few people seem to believe that special protections should be introduced to protect contemporary Neo-Luddites from such pressures. That being said, the author acknowledges that separate factors, when present, can indeed render indirect coercion to enhance problematic. The factors in question include lack of safety, fostering adaptation to oppressive circumstances, and having negative side effects that go beyond health. Nonetheless, the chapter stresses that these factors do not seem to be necessary correlates of neuroenhancement. (shrink)

This commentary further explores some of the ethical issues raised by Prof. Peter Singer in his Lanson Lecture “Pandemic Ethics: Five Lessons”. In the first part, I distinguish a prioritarian approach to the allocation of scarce medical resources, from the utilitarian one advocated by Singer. I suggest that the prioritarian view better matches common intuitions about fair distribution, even though it likely needs to be balanced with other principles if it is to have plausibility in contexts like vaccine allocation. In (...) the second part of the commentary, I take a global perspective (as Singer himself does regarding the ethics of lockdowns), and highlight the controversial implications of adopting a fully cosmopolitan ethical outlook when deciding how to distribute Covid-19 vaccines. I also raise justice-related concerns about Singer’s proposal to use well-being as a single metric for evaluating public health policies. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Spelke convincingly argues that we should posit six innate modular systems beyond the periphery (i.e., beyond low-level perception and motor control). I focus on the case of spatial navigation (Ch. 3) to claim that there remain powerful considerations in favor of positing additional innate, nonperipheral modules. This opens the door to stronger forms of nativism and nonperipheral modularism than Spelke's.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

The potential of using personalized Large Language Models (LLMs) or “generative AI” (GenAI) to enhance productivity in academic research, as highlighted by Porsdam Mann and colleagues (Porsdam Mann...

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Open Peer Commentary on P. Zawadzki and A. K. Adamczyk's target article in AJOB Neuroscience on the potential of optogenetics for memory modification. I argue for a radically pluralistic understanding of the notion of authenticity, and highlight the need to further clarify the specific nature of the authors' concern about authenticity, as well as its policy implications.

Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often overlooked in accounts (...) of reproducibility issues. Software is not only about designing and coding but also about maintaining, supporting, distributing, licensing, and governance; it is not only about developers but also about users. We focus on openness debates among computational chemists involved in molecular modeling software packages as empirical grounding for our argument. We then identify and analyse four epistemic characteristics as key to the role of software in computational reproducibility. (shrink)

1. Hume e a Magna Carta: em torno do círculo da justiça, Maria Isabel Limongi; 2. Hume e o problema da justificação da resistência ao governo, Stephanie Hamdan Zahreddine; 3 O surgimento dos costumes da sociedade comercial e as paixões do trabalho, Pedro Vianna da Costa e Faria; 4. O sentido da crença: suas funções epistêmicas e implicações para a teoria política de Hume, Lilian Piraine Laranja; 5. O Status do Fideísmo na Crítica de Hume à Religião Natural, Marília Côrtes (...) de Ferraz; 6. Da imaterialidade da alma: a desconstrução mais incisiva de Hume de um pressuposto metafísico, Marcos César Seneda; 7. A “irresistibilidade” e a “inevitabilidade” das crenças naturais e o caráter normativo da epistemologia de Hume, Claudiney José de Sousa; 8. Filosofia e vida comum na epistemologia de Hume, Marcos Fonseca Ribeiro Balieiro; 9. Hume e o relativismo moral, Flávio Zimmermann; 10. Hume e a vivacidade das crenças morais, André Luiz Olivier da Silva; 11. Virtudes sociais e refinamento na filosofia moral de David Hume, Andreh Sabino Ribeiro; 12. O movimento razão-crença na interpretação da teoria da motivação de Hume, Franco Nero Antunes Soares; 13. Sentimentos e Normatividade em David Hume segundo Annette Baier, Giovani Lunardi; 14. Simpatia e aprovação moral da justiça na filosofia de David Hume, Denize Carolina da Cunha & Nivaldo Machado; 15. Do eu como feixe de percepções ao eu das paixões: Hume e a identidade pessoal no Tratado, Susie Kovalczyk dos Santos; 16. Imaginação em Hobbes e Hume: cadeias mentais reguladas e princípios de associação, Andrea Cachel; 17. Hume e o princípio fundamental da filosofia moderna, Rafael Bittencourt Santos; 18. A conexão necessária entre Hume e Malebranche, Bruna Frascolla; 19. Realismo ontológico e antirrealismo epistemológico na problemática sobre o mundo externo em Hume, Leandro Hollanda; 20. Uma possível inversão kantiana da tese humeana da inércia da razão, Carlos Eduardo Moreno Pires; Nota sobre João Paulo Monteiro, Rolf Nelson Kuntz. (shrink)

David Chalmers a récemment soutenu que la réalité virtuelle est réelle, plutôt que fictionnelle. Dans cet article, j’examine les implications ontologiques de ce « réalisme virtuel ». Comme je le suggère, cette position s’associe naturellement à une ontologie algorithmique, qui identifie les objets virtuels à des structures de données comprises de manière fonctionnelle. Je présente ensuite plusieurs objections à cette ontologie algorithmique. Tant que celles-ci ne sont pas réglées, la question de l’identité des mondes et des objets virtuels reste encore (...) en suspens. (shrink)

There is a long tradition in philosophy of blaming passions for our unhappiness. If only we were more rational, it is claimed, we would live happier lives. I argue that such optimism is misguided and that, paradoxically, people with desires, like us, cannot be both happy and rational. More precisely, if someone rational has desires he will not be fully happy, and if he has some desires that are rational and – in a yet-to-be-specified sense – demanding, he will be (...) frankly unhappy. Call this claim Rational Pessimism. The argument for Rational Pessimism can be considered as a variation on a Schopenhauerian argument that bluntly claims that, because desires involve lack and suffering, desiring souls like us cannot be happy. I argue that, even if Schopenhauer’s argument escapes most attacks that have been targeted against it, it faces decisive empirical objections. I argue that Schopenhauer’s argument can, however, be rescued if it is assumed that we are rational. (shrink)

Entry on "Neuroenhancement" in the Routledge Encyclopedia of Philosophy Online.